wayland: fill in refresh_interval in GdkFrameTimings
authorOwen W. Taylor <otaylor@fishsoup.net>
Thu, 25 Apr 2013 15:19:31 +0000 (11:19 -0400)
committerOwen W. Taylor <otaylor@fishsoup.net>
Thu, 25 Apr 2013 17:50:01 +0000 (13:50 -0400)
commit23031defde16e7f3dec2744b6c7c5e2033036135
tree0fe2946b3c245060f1695e08d3273627c384c6bd
parentf1ce727b064cc112ad8581452d93181c53127a22
wayland: fill in refresh_interval in GdkFrameTimings

Track the outputs that a window is on, and use the refresh rate from
a random one of those outputs for the refresh_interval in
GdkFrameTimings.

https://bugzilla.gnome.org/show_bug.cgi?id=698864
gdk/wayland/gdkprivate-wayland.h
gdk/wayland/gdkscreen-wayland.c
gdk/wayland/gdkwindow-wayland.c